« L’escalier bleu » : avant-texte

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

BLEU+: a Tool for Fine-Grained BLEU Computation

We present a tool, BLEU+, which implements various extension to BLEU computation to allow for a better understanding of the translation performance, especially for morphologically complex languages. BLEU+ takes into account both “closeness” in morphological structure, “closeness” of the root words in the WordNet hierarchy while comparing tokens in the candidate and reference sentence. In additi...

Colouring Summaries BLEU

In this paper we attempt to apply the IBM algorithm, BLEU, to the output of four different summarizers in order to perform an intrinsic evaluation of their output. The objective of this experiment is to explore whether a metric, originally developed for the evaluation of machine translation output, could be used for assessing another type of output reliably. Changing the type of text to be eval...

Science Avant-Garde

o think that the neoimpressionists are painters who cover canvases with little multicolored spots is a rather widespread mistake, " wrote Paul Signac in his manifesto of their movement. " This mediocre dot method has nothing to do with the aesthetic of the painters we are defending here, nor with the technique of divisionism they use. " Signac was referring to, among others, Georges Seurat, who...